TSTP Solution File: SYN007^4.014 by Mace4---1109a